Stress and Fracture Analyses Under Elastic-plastic and Creep Conditions: Some Basic Developments and Computational Approaches

A new hybrid-stress finite element algorith, suitable for analyses of large quasi-static deformations of inelastic solids, is presented. Principal variables in the formulation are the nominal stress-rate and spin. A such, a consistent reformulation of the constitutive equation is necessary, and is discussed. The finite element equations give rise to an initial value problem. Time integration has been accomplished by Euler and Runge-Kutta schemes and the superior accuracy of the higher order schemes is noted. In the course of integration of stress in time, it has been demonstrated that classical schemes such as Euler's and Runge-Kutta may lead to strong frame-dependence. As a remedy, modified integration schemes are proposed and the potential of the new schemes for suppressing frame dependence of numerically integrated stress is demonstrated. The topic of the development of valid creep fracture criteria is also addressed

Temporal Ordering in Quantum Mechanics

We examine the measurability of the temporal ordering of two events, as well as event coincidences. In classical mechanics, a measurement of the order-of-arrival of two particles is shown to be equivalent to a measurement involving only one particle (in higher dimensions). In quantum mechanics, we find that diffraction effects introduce a minimum inaccuracy to which the temporal order-of-arrival can be determined unambiguously. The minimum inaccuracy of the measurement is given by dt=1/E where E is the total kinetic energy of the two particles. Similar restrictions apply to the case of coincidence measurements. We show that these limitations are much weaker than limitations on measuring the time-of-arrival of a particle to a fixed location.Comment: New section added, arguing that order-of-arrival can be measured more accurately than time-of-arrival. To appear in Journal of Physics

Ergodic property of Markovian semigroups on standard forms of von Neumann algebras

We give sufficient conditions for ergodicity of the Markovian semigroups associated to Dirichlet forms on standard forms of von Neumann algebras constructed by the method proposed in Refs. [Par1,Par2]. We apply our result to show that the diffusion type Markovian semigroups for quantum spin systems are ergodic in the region of high temperatures where the uniqueness of the KMS-state holds.Comment: 25 page

Observations and models for needle-tissue interactions

The asymmetry of a bevel-tip needle results in the needle naturally bending when it is inserted into soft tissue. In this study we present a mechanics-based model that calculates the deflection of the needle embedded in an elastic medium. Microscopic observations for several needle- gel interactions were used to characterize the interactions at the bevel tip and along the needle shaft. The model design was guided by microscopic observations of several needle- gel interactions. The energy-based model formulation incor- porates tissue-specific parameters such as rupture toughness, nonlinear material elasticity, and interaction stiffness, and needle geometric and material properties. Simulation results follow similar trends (deflection and radius of curvature) to those observed in macroscopic experimental studies of a robot- driven needle interacting with different kinds of gels. These results contribute to a mechanics-based model of robotic needle steering, extending previous work on kinematic models

From bcc to fcc: interplay between oscillating long-range and repulsive short-range forces

This paper supplements and partly extends an earlier publication, Phys. Rev. Lett. 95, 265501 (2005). In $d$-dimensional continuous space we describe the infinite volume ground state configurations (GSCs) of pair interactions \vfi and \vfi+\psi, where \vfi is the inverse Fourier transform of a nonnegative function vanishing outside the sphere of radius $K_0$, and $\psi$ is any nonnegative finite-range interaction of range $r_0\leq\gamma_d/K_0$, where $\gamma_3=\sqrt{6}\pi$. In three dimensions the decay of \vfi can be as slow as $\sim r^{-2}$, and an interaction of asymptotic form $\sim\cos(K_0r+\pi/2)/r^3$ is among the examples. At a dimension-dependent density $\rho_d$ the ground state of \vfi is a unique Bravais lattice, and for higher densities it is continuously degenerate: any union of Bravais lattices whose reciprocal lattice vectors are not shorter than $K_0$ is a GSC. Adding $\psi$ decreases the ground state degeneracy which, nonetheless, remains continuous in the open interval $(\rho_d,\rho_d')$, where $\rho_d'$ is the close-packing density of hard balls of diameter $r_0$. The ground state is unique at both ends of the interval. In three dimensions this unique GSC is the bcc lattice at $\rho_3$ and the fcc lattice at $\rho_3'=\sqrt{2}/r_0^3$.Comment: Published versio

Some remarks on quasi-Hermitian operators

A quasi-Hermitian operator is an operator that is similar to its adjoint in some sense, via a metric operator, i.e., a strictly positive self-adjoint operator. Whereas those metric operators are in general assumed to be bounded, we analyze the structure generated by unbounded metric operators in a Hilbert space. Following our previous work, we introduce several generalizations of the notion of similarity between operators. Then we explore systematically the various types of quasi-Hermitian operators, bounded or not. Finally we discuss their application in the so-called pseudo-Hermitian quantum mechanics.Comment: 18page

First Records of Two Neotropical Species of Mesocyclops (Copepoda) from Yukon Territory: Cases of Passive Dispersal?

Two species of neotropical cyclopoid copepod crustaceans, Mesocyclops longisetus curvatus and Mesocyclops venezolanus, were collected from a pond at Shingle Point, Yukon Territory, Canada, in September 1974. This is the first record of M. longisetus curvatus north of the southern United States and the first record of M. venezolanus north of Honduras. We provide amplified descriptions of both species. Four additional congeners, M. americanus, M. edax, M. reidae, and M. ruttneri, are now known from the continental U.S. and Canada. We provide a key to the identification of the six species. We hypothesize that the specimens of M. longisetus curvatus and M. venezolanus may have been passively transported to Shingle Point by migrant shorebirds.Key words: Copepoda, Cyclopoida, Mesocyclops, new record, Yukon, neotropical, zoogeography, passive dispersal, identification keyEn septembre 1974, on a recueilli deux espèces de copépodes cyclopoïdes néogènes, Mesocyclops longisetus curvatus et Mesocyclops venezolanus, dans un étang situé à Shingle Point, dans le territoire du Yukon au Canada. Cela représente la première occurrence rapportée de M. longisetus curvatus au nord de la partie méridionale des États-Unis, et la première de M. venezolanus au nord du Honduras. On donne une description détaillée des deux espèces. On sait maintenant qu'il existe quatre autres congénères, M. americanus, M. edax, M. reida et M. ruttneri, aux États-Unis américains et au Canada. On fournit un code permettant d'identifier les six espèces. On émet l'hypothèse que les spécimens de M. longisetus curvatus et de M. venezolanus ont pu être transportés de façon passive à Shingle Point par des oiseaux de rivage migrateurs.Mots clés: copépodes, cyclopoïdes, Mesocyclops, nouvelle Occurrence rapportée, Yukon, néogène, zoogéographie, dispersion passive, code d'identificatio

Modeling Bitcoin Contracts by Timed Automata

Bitcoin is a peer-to-peer cryptographic currency system. Since its introduction in 2008, Bitcoin has gained noticeable popularity, mostly due to its following properties: (1) the transaction fees are very low, and (2) it is not controlled by any central authority, which in particular means that nobody can "print" the money to generate inflation. Moreover, the transaction syntax allows to create the so-called contracts, where a number of mutually-distrusting parties engage in a protocol to jointly perform some financial task, and the fairness of this process is guaranteed by the properties of Bitcoin. Although the Bitcoin contracts have several potential applications in the digital economy, so far they have not been widely used in real life. This is partly due to the fact that they are cumbersome to create and analyze, and hence risky to use. In this paper we propose to remedy this problem by using the methods originally developed for the computer-aided analysis for hardware and software systems, in particular those based on the timed automata. More concretely, we propose a framework for modeling the Bitcoin contracts using the timed automata in the UPPAAL model checker. Our method is general and can be used to model several contracts. As a proof-of-concept we use this framework to model some of the Bitcoin contracts from our recent previous work. We then automatically verify their security in UPPAAL, finding (and correcting) some subtle errors that were difficult to spot by the manual analysis. We hope that our work can draw the attention of the researchers working on formal modeling to the problem of the Bitcoin contract verification, and spark off more research on this topic

Parasitism, Adult Emergence, Sex Ratio, and Size of \u3ci\u3eAphidius Colemani\u3c/i\u3e (Hymenoptera: Aphidiidae) on Several Aphid Species

Aphidius colemani Viereck parasitizes several economically important aphid pests of small grain crops including the greenbug, Schizaphis graminum and the Russian wheat aphid, Diuraphis noxia. The ability of A. colemani to switch from S. graminum to several species of aphids common to agricultural and associated non-agricultural ecosystems in the Great Plains, and the effects of host-change on several biological parameters that influence population growth rate were determined. Female A. colemani parasitized and developed to adulthood in nine of 14 aphid species to which they were exposed in the laboratory. All small grain feeding aphids except Sipha flava were parasi­tized. Two sunflower feeding species (Aphis nerii and A. helianthi) and two crucifer feeding species (Lipaphis erysimi and Brevicoryne brassicae) were parasitized, as was the cotton aphid. Aphis gossypii. The average percentage of aphids parasitized differed significantly among host aphid species. as did the percentage of parasitoids surviving from the mummy to the adult stage and the time required for immature development. The sex ratio of adults that enclosed from the various hosts did not differ significantly among species. Dry weights of adult parasitoids differed significantly among host species. Adults from S. graminum weighed most (0.054 mg) while those emerging from A. helianthi weighed least (0.020 mg). Results are discussed in terms of strategies for classical biological control of aphid pests of cereals

Self-induced decoherence approach: Strong limitations on its validity in a simple spin bath model and on its general physical relevance

The "self-induced decoherence" (SID) approach suggests that (1) the expectation value of any observable becomes diagonal in the eigenstates of the total Hamiltonian for systems endowed with a continuous energy spectrum, and (2), that this process can be interpreted as decoherence. We evaluate the first claim in the context of a simple spin bath model. We find that even for large environments, corresponding to an approximately continuous energy spectrum, diagonalization of the expectation value of random observables does in general not occur. We explain this result and conjecture that SID is likely to fail also in other systems composed of discrete subsystems. Regarding the second claim, we emphasize that SID does not describe a physically meaningful decoherence process for individual measurements, but only involves destructive interference that occurs collectively within an ensemble of presupposed "values" of measurements. This leads us to question the relevance of SID for treating observed decoherence effects.Comment: 11 pages, 4 figures. Final published versio